(set-info :source |fuzzsmt|)
(set-info :smt-lib-version 2.0)
(set-info :category "random")
(set-info :status unknown)
(set-logic QF_LRA)
(declare-fun v0 () Real)
(assert (let ((e1 6))
(let ((e2 (- v0 v0)))
(let ((e3 (* e1 v0)))
(let ((e4 (< e3 v0)))
(let ((e5 (>= v0 e3)))
(let ((e6 (< e2 e2)))
(let ((e7 (ite e4 e3 e2)))
(let ((e8 (ite e6 e2 e2)))
(let ((e9 (ite e5 e2 v0)))
(let ((e10 (= e3 v0)))
(let ((e11 (distinct e2 e8)))
(let ((e12 (>= e3 e2)))
(let ((e13 (= e2 v0)))
(let ((e14 (> e7 e2)))
(let ((e15 (<= e2 e9)))
(let ((e16 (= e4 e14)))
(let ((e17 (= e6 e10)))
(let ((e18 (and e17 e16)))
(let ((e19 (xor e12 e5)))
(let ((e20 (=> e15 e11)))
(let ((e21 (not e20)))
(let ((e22 (not e13)))
(let ((e23 (ite e22 e19 e21)))
(let ((e24 (not e23)))
(let ((e25 (and e24 e18)))
e25
))))))))))))))))))))))))))

(check-sat)
